『An Invitation to Applied Category theory』